Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
511	Microsoft Word - DevelopmentSuggestions.docx Add to Reading List Source URL: gsa.europa.eu Language: English - Date: 2013-02-21 18:11:18 Biology Biological databases Gene expression RNA splicing Spliceosome Abstract Syntax Notation One EDAS RTCM Networked Transport of RTCM via Internet Protocol Technology GPS Science
512	Microsoft Word - GARMIS-GMV-6160-O-6162-U-V3A EDAS_CS_UM.doc Add to Reading List Source URL: gsa.europa.eu Language: English - Date: 2013-02-21 18:11:21 Gene expression RNA splicing Spliceosome EDAS Abstract Syntax Notation One RTCM Personal digital assistant Technology Science Biology Mobile computers Biological databases
513	TS[removed]V1[removed]Intelligent Transport Systems (ITS); Communications Access for Land Mobiles (CALM); Test specifications for Access Technology Support (ISO 21218); Part 3: Abstract Test Suite (ATS) and partial PIX Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-06-18 10:43:46 TTCN-3 Standards organizations Reference TTCN Protocol implementation conformance statement European Telecommunications Standards Institute Abstract Syntax Notation One OSI model Software testing Computing Evaluation
514	TR[removed]V1[removed]Intelligent Transport Systems (ITS); Architecture of conformance validation framework Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-05-19 10:24:33 Electronic engineering Computing TTCN Protocol implementation conformance statement European Telecommunications Standards Institute TPT Integrated Services Digital Network Abstract Syntax Notation One 3GPP Software testing Evaluation TTCN-3
515	TR[removed]V1[removed]Intelligent Transport Systems (ITS); Testing; Conformance test specification for CALM Fast Services; FNTP/FSAP/IICP validation report Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-06-17 03:33:35 Standards organizations European Telecommunications Standards Institute TTCN Protocol implementation conformance statement Computing Abstract Syntax Notation One 3GPP Validation Reference Software testing Evaluation TTCN-3
516	Microsoft Word - InformationPackage.doc Add to Reading List Source URL: gsa.europa.eu Language: English - Date: 2013-02-21 18:11:18 European Geostationary Navigation Overlay Service Abstract Syntax Notation One XML Binary file Text file Flow Computer file Computing Computer file formats Data
517	file://C:rsrokspaceus.org.ukifse_st Add to Reading List Source URL: lepus.org.uk Language: English - Date: 2008-01-16 12:53:35 Java programming language Object-oriented programming C++ Java syntax C++ classes Software design patterns LePUS3 Abstract type Abstract factory pattern Software engineering Computer programming Computing
518	Duplicate code detection using anti-unification Peter Bulychev Marius Minea Lomonosov Moscow State University, Russian Federation Add to Reading List Source URL: clonedigger.sourceforge.net Language: English - Date: 2008-04-08 01:58:42 Data mining Machine learning Cluster analysis Data analysis Geostatistics Unification Duplicate code Abstract syntax tree Admissible rule Statistics Computer programming Software engineering
519	Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan University of California Santa Cruz Abstract Contract systems and hybrid type systems provide two alternative approaches for enforcing precisely-def Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-03-10 14:23:12 Formal methods C programming language C syntax Source code Sheaf Valuation ALGOL 68 Lambda calculus Vienna Development Method Abstract algebra Computing Software engineering
520	Microsoft Word - InformationPackage.doc Add to Reading List Source URL: www.gsa.europa.eu Language: English - Date: 2013-02-21 18:11:18 European Geostationary Navigation Overlay Service Abstract Syntax Notation One XML Binary file Text file Flow Computer file Computing Computer file formats Data

UPDATE